Nuprl Definition : compose-fpf
0,22
postcript
pdf
compose-fpf(
a
;
b
;
f
) == <mapfilter(
x
.outl(
a
(
x
));
x
.isl(
a
(
x
));fpf-domain(
f
)),2of(
f
) o
b
>
latex
Definitions
mapfilter(
f
;
P
;
L
)
,
outl(
x
)
,
isl(
x
)
,
fpf-domain(
f
)
,
f
o
g
,
2of(
t
)
FDL editor aliases
compose-fpf
origin
x.outl(a(x));x.isl(a(x));fpf-domain(f)),2of(f) o b> x.outl(a(x));x.isl(a(x));fpf-domain(f)),2of(f) o b>